An Ontological Interpretation of Non-Functional Requirements
نویسندگان
چکیده
Non-functional requirements (NFRs) have been the focus of research in Requirements Engineering (RE) for more than 20 years. Despite this attention, their ontological nature is still an open question, thereby hampering efforts to develop concepts, tools and techniques for eliciting, modeling, and analyzing them, in order to produce a specification for a system-to-be. In this paper, we propose to treat NFRs as qualities, based on definitions of the UFO foundational ontology. Furthermore, based on these ontological definitions, we provide guidelines for distinguishing between non-functional and functional requirements, and sketch a syntax of a specification language that can be used for capturing NFRs.
منابع مشابه
تبیین الگوی نااقلیدسی در برنامه ریزی شهری
With domination of Kant's epistemology and instrumental reason in social science and human geography, interpretation of space have been based on neo physics that often it is equivalent with intuitive and physical experience and the place of capital and it's reproduction. Therefore we firstly have represented of ontological transform of space concept and by the way we enumerate the c...
متن کاملProblem-Aware Traceability in Goal-Oriented Requirements Engineering
Requirements traceability helps to ensure that a requirements specification is aligned with the intended stakeholders’ needs. Such alignment should involve the consideration of why such needs arise, in terms of what problems the stakeholders are faced with, and what kinds of software system may help alleviate or eliminate the problems. However, little work can be found on requirements traceabil...
متن کاملAbstract Interpretation-Based Verification of Non-functional Requirements
Interpretation-based Verification of Non-functional Requirements Agostino Cortesi and Francesco Logozzo ? 1 Università Ca’ Foscari di Venezia, I-30170 Venezia (Italy) [email protected] 2 École Polytechnique, F-91128 Palaiseau cedex (France) [email protected] Abstract. The paper investigates a formal approach to the verification of non functional software requirements, e.g. p...
متن کاملVerification of Non - Functional Requirements by Abstract Interpretation
This chapter investigates a formal approach to the verification of non-functional software requirements that are crucial in Service-oriented Systems, like portability, time and space efficiency, and dependability/robustness. The key-idea is the notion of observable, i.e., an abstraction of the concrete semantics when focusing on a behavioral property of interest. By applying an abstract interpr...
متن کاملPHRO 53,1_f4_65-92.indd
Aristotle holds that individual substances are ontologically independent from nonsubstances and universal substances but that non-substances and universal substances are ontologically dependent on substances. ! ere is then an asymmetry between individual substances and other kinds of beings with respect to ontological dependence. Under what could plausibly be called the standard interpretation,...
متن کامل